<?
function microtime_float()
{
list($useg, $seg) = explode(" ", microtime());
return ((float)$useg + (float)$seg);
}
global $timepo_inicio, $tiempo_fin;
$tiempo_inicio = microtime_float();


/* Sección de funciones que se necesitan en la ejecución de los scripts */
include_once('php/actualizacion.php');// Muestra la fecha de actualización.
include_once('php/br.php');// Crea un salto de línea con la función br().
//include_once('php/comprobar_si_valido.php');// Comprueba si la página es válida, en caso de no serlo, manda un aviso al inicio.
include_once('php/enlace.php');// Útil para enlazar. Tiene en cuenta otros parámetros de la URL (como css=) y los mantiene al generar enlaces. También añade la clase "interno" o "externo".
include_once('php/estilos.php');// Añade la etiqueta <style> en la cabecera si se necesita algún estilo en especial.
include_once('php/error.php');// Muestra un mensaje de error cuando solicitas una página que no existe.
include_once('php/imagen.php');// Para incluir imágenes. Es necesario para que se pueda cambiar el contenido con el parámetro img=.
include_once('php/navegador.php');// Detecta qué navegador utiliza el usuario.
include_once('php/opcion.php');// Genera un número para cada página y su sección.
include_once('php/titulo.php');// Función que devuelve el título de la página.
include_once('php/validador.php');// Escribe las dos imágenes (o una) y sus enlaces que muestran si el código fuente está validado.

/* Páginas incluidas, son las que generan el fichero HTML */
include_once('html/principio.php');// Incluye la cabecera <head> de la página, y el comienzo de <body>.
include_once('html/menu.php');     // Menú principal.
include_once('html/pagina.php');   // Obtiene la página dependiendo de los parámetros.
include_once('html/final.php');    // Scripts finales (Google Analytics) y etiquetas de cierre.


echo '<!-- Servido en '.round(($tiempo_fin - $tiempo_inicio), 5).' segundos. -->';
